$\forall$$g$:IMonoid, $b$:$\mathbb{B}$. (when $b$. e) = e $\in$ $\mid$$g$$\mid$